reducible(a) == b, c:. (b ~ 1) & (c ~ 1) & a = bc 

latex

---

clarification:

reducible(a) == b:, c:. (b ~ 1) & (c ~ 1) & a = bc   

latex

Definitions	x:A. B(x), , P & Q, A, a ~ b
FDL editor aliases	reducible